| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Algorithmic Model Theory I | Algorithmische Modelltheorie | Fach-/Modulprüfung | 8 | 402676 | ||
| Analysis of Algorithms | Analyse von Algorithmen | Fach-/Modulprüfung | 8 | 427733 | ||
| Analyse von Algorithmen | Vorlesung | 407082 | Mo 08:30-10:00 Online-Veranstaltung (×14) Di 08:30-10:00 Online-Veranstaltung (×14) | |||
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 402616 | ||
| Compilerbau | Übung | 398320 | Mi 14:30-16:00 Online-Veranstaltung (×13) Do 08:30-18:00 5056 (2356|056) (×1) Fr 08:30-18:00 5056 (2356|056) (×1) | |||
| Compilerbau | Vorlesung | 400150 | Do 12:30-14:00 Online-Veranstaltung (×11) Fr 14:30-16:00 Online-Veranstaltung (×10) | |||
| Concurrency Theory | Concurrency Theory | Fach-/Modulprüfung | 6 | 402431 | ||
| Graph Algorithms | Algorithmische Graphentheorie | Fach-/Modulprüfung | 6 | 402901 | ||
| Algorithmische Graphentheorie - Übung | Tutorium | 400270 | ||||
| Algorithmische Graphentheorie | Vorlesung | 400576 | Di 14:30-16:00 Online-Veranstaltung (×11) Mi 12:30-14:00 Online-Veranstaltung (×9) | |||
| Graph Decompositions and Algorithmic Applications | Graph Decompositions and Algorithmic Applications | Fach-/Modulprüfung | 6 | 405506 | ||
| Infinite Computations and Games | Infinite Computations and Games | Fach-/Modulprüfung | 6 | 402963 | ||
| Infinite Computations and Games | Übung | 399099 | Mo 08:30-10:00 Online-Veranstaltung (×13) | |||
| Infinite Computations and Games | Vorlesung | 399405 | Do 10:30-12:00 Online-Veranstaltung (×13) Fr 10:30-12:00 Online-Veranstaltung (×13) | |||
| Logic and Games | Logik und Spiele | Fach-/Modulprüfung | 8 | 404093 | ||
| Logik und Spiele | Fach-/Modulprüfung | 8 | 404094 | |||
| Mathematical Logic II | Mathematische Logik II | Fach-/Modulprüfung | 8 | 403579 | ||
| Mathematische Logik II | Übung | 397307 | Mi 12:30-14:00 Online-Veranstaltung (×14) | |||
| Mathematische Logik II | Vorlesung | 397845 | Mo 10:30-12:00 AH I (2350|028) (×14) Mo 12:30-14:00 Online-Veranstaltung (×14) Mi 10:30-12:00 AH I (2350|028) (×14) Mi 10:30-12:00 Online-Veranstaltung (×14) | |||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 404964 | ||
| Introduction to Model Checking | Übung | 397945 | Do 10:30-12:00 Online-Veranstaltung (×13) | |||
| Introduction to Model Checking | Vorlesung | 399346 | Mo 16:30-18:00 Online-Veranstaltung (×13) Do 14:30-16:00 Online-Veranstaltung (×13) | |||
| Modeling and Verification of Probabilistic Systems | Modellierung und Verifikation probabilistischer Systeme | Fach-/Modulprüfung | 6 | 403590 | ||
| Module Complexity Theory | Komplexitätstheorie | Fach-/Modulprüfung | 6 | 402937 | ||
| Übung zur Vorlesung Komplexitätstheorie | Übung | 399044 | Fr 12:30-14:00 Online-Veranstaltung (×14) | |||
| Komplexitätstheorie | Vorlesung | 400101 | Mo 16:30-18:00 Online-Veranstaltung (×14) Di 16:30-18:00 Online-Veranstaltung (×14) | |||
| Parameterized Algorithms | Parametrisierte Algorithmen | Fach-/Modulprüfung | 8 | 404965 | ||
| Probabilistic Programming | Probabilistische Programmierung | Fach-/Modulprüfung | 6 | 402822 | ||
| Probabilistische Programmierung | Übung | 397562 | Mi 16:30-18:00 Online-Veranstaltung (×13) | |||
| Probabilistische Programmierung | Vorlesung | 397847 | Do 08:30-10:00 Online-Veranstaltung (×13) Fr 12:30-14:00 Online-Veranstaltung (×14) | |||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung (Satisfiability Checking) | Fach-/Modulprüfung | 6 | 402890 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 399309 | Mo 08:30-10:00 Online-Veranstaltung (×14) Di 08:30-10:00 Online-Veranstaltung (×14) | |||
| Stochastic Games | Stochastic Games | Fach-/Modulprüfung | 6 | 401923 |